Reasoning about agent deliberation
نویسندگان
چکیده
منابع مشابه
Reasoning About Risk in Agent's Deliberation Process: A Jadex Implementation
Autonomous agents and multi-agent systems have been proved to be useful in several safety-critical applications. However, in current agent architectures (particularly BDI architectures) the deliberation process does not include any form of risk analysis. In this paper, we propose guidelines to implement Tropos Goal-Risk reasoning. Our proposal aims at introducing risk reasoning in the deliberat...
متن کاملReasoning about Another Agent through Empathy Reasoning about Another Agent through Empathy
This paper formalizes the idea of reasoning about the knowledge of another agent by \putting oneself on the other's shoes," and then attributing to the other agent the conclusions that follows from that. We call this form of reasoning empathy. We formalize empathy for monotonic knowledge and show that the same principles would apply to nonmonotonic knowledge, that is reasoning about the knowled...
متن کاملDeliberation as Interactive Reasoning
Most formal models of deliberative democracy posit actors who want to guide a collective choice. This assumption stands in stark contrast to deliberative democratic theory as it was originally developed. The baseline non-formal model of this theory is the ideal speech situation, in which actors aim to understand and be understood, rather than to manipulate the outcome (Cohen 1989, Habermas 1990...
متن کاملFrameworks for Reasoning about Agent Based Systems
This paper suggests formal frameworks that can be used as the basis for defining, reasoning about, and verifying properties of agent systems. The language, Little-JIL is graphical, yet has precise mathematically defined semantics. It incorporates a wide range of semantics needed to define the subtleties of agent system behaviors. We demonstrate that the semantics of Little-JIL are sufficiently ...
متن کاملReasoning about Uncertainty in Agent Control
It is paramount for agent-based systems to adapt to the dynamics of open environments. The agents need to adapt their processing to available resources, deadlines, the goal criteria specified by the clients as well their current problem solving context in order to survive in these environments. Design-to-Criteria scheduling is the soft real-time process of custom building a schedule to meet rea...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Autonomous Agents and Multi-Agent Systems
سال: 2010
ISSN: 1387-2532,1573-7454
DOI: 10.1007/s10458-010-9129-2